projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6fc718) | patch
More Texinfo 5 updates for make-manuals (not yet finished)
authorGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:24:27 +0000 (19:24 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:24:27 +0000 (19:24 -0800)
commit16332533dedf0090cbab7820466a632f5977ebbd
treed3e3aac3bccd3e56a4d9a5e4f227c4c8b8beb420tree | snapshot
parentd6fc718b487b2504fe5bdd16f03152208985895dcommit | diff
More Texinfo 5 updates for make-manuals (not yet finished)

* admin/admin.el (manual-html-fix-headers): Tweak Texinfo 5 body.
(manual-html-fix-node-div): Treat "header" like "node".
(manual-html-fix-index-1): Handle Texinfo 5 top heading.
(manual-html-fix-index-2): Tweak Texinfo 5 listing tables.
admin/ChangeLog diff | blob | history
admin/admin.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.